Tipo	Título	Autor	Edición	Disponibilidad	Valoración
Artículo	Fork algebras: past, present and future	Frias, Marcelo F.	(2004)		----------
Libro	Formalización del proceso de desarrollo de software	Haeberer, Armando Martín	Ed. prelim.   (1988)	Domicilio	----------
Libro	Verificaçao e construçao de programas	Veloso, Paulo A. S.	1a ed.   (1986)	Domicilio	----------